741. Proceedings of the symposium characterising complex systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، System theory-- Congresses,، Chaotic behavior in systems-- Congresses,، Computational complexity-- Congresses
رده :
Q
295
.
I574
1989
742. Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, Lllinois, USA, June 13-15, 2004
پدیدآورنده : sponsored by SIGACT, The ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2004
743. Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, May 19-21, 2002
پدیدآورنده : Sponsored by SIGACT )The special Interest Group for Algorithms and Computational Theory(
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2002
744. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
745. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
پدیدآورنده : Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computational complexity -- Congresses
رده :
QA
267
.
P757
1989
746. Proceedings : 15th Annual IEEE conference on computational complexity : July 4-7, 2000 Florence, Italy
پدیدآورنده : IEEE Conference on Computational Complexity) 51th: 0002: Florence, Italy(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Computational complexity - Congresses,، Nonlinear boundary value problems - Congresses
رده :
QA
267
.
7
.
S76
2000
747. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
رده :
QA
267
.
7
.
S77
2000
748. Product and systems development : a value approach
پدیدآورنده : / Stanley I Weiss
کتابخانه: (هرمزکان)
موضوع : New products--Planning.,Computational complexity--Handbooks, manuals, etc.,Network analysis (Planning)--Handbooks, manuals, etc.
رده :
TS170
.
W45
2013
749. Proof complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ; Computational complexity. ;
750. Provability, complexity, grammars
پدیدآورنده : Lev Beklemishev, Mati Pentus, Nikolai Vereshchagin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Mathematical linguistics.,Modality (Logic),Proof theory.
751. Public Key Cryptography ђ́أ PKC 2012
پدیدآورنده : edited by Marc Fischlin, Johannes Buchmann, Mark Manulis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security
752. Quantum Computing verstehen :
پدیدآورنده : von Matthias Homeister.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Quantencomputer
753. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
754. Randomized algorithms :
پدیدآورنده : Russ Bubley
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Markov processes,Monte Carlo method
رده :
QA274
.
2
.
B82
2001
755. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
756. Randomized algorithms
پدیدآورنده : / Russ Bubley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
757. Randomness and completeness in computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ;
758. Randomness and completeness in computational complexity
پدیدآورنده : Melkebeek, Dieter Van
کتابخانه: (طهران)
موضوع : ، Computer science -- Mathematics,، Computational complexity
رده :
QA
76
.
L28
Vol
.
1950
759. Randomness and completeness in computational complexity
پدیدآورنده : / Dieter van Melkebeek
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science--Mathematics,Computational complexity.
رده :
QA
,
76
.
9
,.
M35
,
M54
,
2000
760. Recent Advances in Nonlinear Dynamics and Synchronization
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering ,Computational intelligence ,Complexity, Computational ,مهندسی,هوش محاسباتی,پیچیدگی محاسباتی
رده :
E-Book
,
